Semirings and pseudo MV algebras

نویسندگان

  • Yun Shang
  • Ruqian Lu
چکیده

In this paper, we describe the relationships between pseudo MV algebras and semirings. We also give definitions of automata on lattice ordered semirings, prove that the family of K-Languages is closed under union, and discuss the conditions for the closedness of families of K-languages under intersection, generalized intersection and reversal operations.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Commutative basic algebras and coupled near semirings

The relationship between MV-algebras and semirings was described by A. Di Nola and B. Gerla ([7]). Since commutative basic algebras are similar to MV-algebras up to associativity of the binary operation we try to get a similar relationship between commutative basic algebras and so-called near semirings and we show that this is possible. This means that associativity does not play an important r...

متن کامل

IDEALS OF PSEUDO MV-ALGEBRAS BASED ON VAGUE SET THEORY

The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...

متن کامل

Representing quantum structures as near semirings

In this article, we introduce the notion of near semiring with involution. Generalizing the theory of semirings we aim at represent quantum structures, such as basic algebras and orthomodular lattices, in terms of near semirings with involution. In particular, after discussing several properties of near semirings, we introduce the so-called Łukasiewicz near semirings, as a particular case of ne...

متن کامل

Pseudo-BL algebras and pseudo-effect algebras

Pseudo-BL algebras and pseudo-effect algebras arose in two rather different fields: fuzzy logics and quantum logics. In this paper, by introducing the notion of pseudo-weak MV-effect algebra which is non-commutative generalization of weak MV-effect algebra, we investigate the mutual relationship between pseudo-BL algebras and pseudo-effect algebras. We prove that dual pseudo-BL algebra under ce...

متن کامل

On pseudo-BL algebras and BCC-algebras

We further study the filter theory of pseudo-BL algebras.We give some equivalent conditions of filter, normal filter and Boolean filter. We introduce the notion of pseudo MV-filter, pseudo-G filter and characterize Boolean algebras, pseudo-MV algebras and pseudo Gödel algebras (i.e. Gödel algebras) in pseudo-BL algebras. We establish the connections between BCC-algebras, pseudo-BCK algebras, ps...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Soft Comput.

دوره 11  شماره 

صفحات  -

تاریخ انتشار 2007